Software construction - PDFSEARCH.IO - Document Search Engine

Software construction
Results: 3327

#	Item
951	ICCI2004, The First International Conference on Construction IT, Beijing, CHINA, August 15th - 17th Add to Reading List Source URL: www.forum8.co.jp Language: English - Date: 2004-09-22 08:54:51 Computing Electronic engineering User interface techniques Cross-platform software Simulation OpenGL 3D computer graphics software Logic simulation Software 3D computer graphics Virtual reality
952	Induction Variable Analysis with Delayed Abstractions Sebastian Pop Albert Cohen Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2006-02-10 18:37:55 Compiler optimizations Compiler construction Static single assignment form Procedural programming languages Induction variable Goto GNU Compiler Collection Fortran Recurrence relation Computing Software engineering Software
953	Automatic Cross-Library Optimization ∗ Andrew W. Keep R. Kent Dybvig University of Utah Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-01-13 20:04:12 Compiler optimizations Functional languages C++ Programming language implementation Compiler construction Inline expansion Single Compilation Unit Interprocedural optimization Compiler Computer programming Software engineering Software
954	IEEE CS Security and Privacy Workshops 2nd LangSec Workshop LangSec: A Workshop on Language Theoretic Security Date & Venue: Thursday May 21, 2015, Fairmont Hotel, San Jose, CA Add to Reading List Source URL: spw15.langsec.org Language: English - Date: 2015-03-09 17:49:27 Software testing Software bugs Hacking Vulnerability Software engineering Software construction Parsing Security Computer security Cyberwarfare
955	20 NEW CIVIL ENGINEER \| www.nce.co.uk ROADS SPECIAL: TECHNOLOGY UPDATE Designing highways Add to Reading List Source URL: ftp2.bentley.com Language: English - Date: 2013-04-25 14:47:35 Architecture Data modeling 3D graphics software Application software Building information modeling Computer-aided design Construction
956	Water_Corporation_Developer_Constructed_Headworks_Process_Information_Guide (PDF 360KB) Add to Reading List Source URL: www.watercorporation.com.au Language: English - Date: 2015-01-09 03:26:00 Construction Software developer Infrastructure
957	BUILDING DESIGN SYSTEM AND CAD INTEGRATION Karl Grau and Kim B. Wittchen Danish Building Research Institute DK-2970 Hørsholm - Denmark ABSTRACT Add to Reading List Source URL: sbi.dk Language: English - Date: 2012-11-14 17:41:21 Virtual reality Computational science Computer simulation Scientific modeling Science Industry Foundation Classes Application software Data model Simulation Computer-aided design Construction Building information modeling
958	The New Framework for Loop Nest Optimization in GCC: from Prototyping to Evaluation Sebastian Pop1 , Albert Cohen2 , Pierre Jouvelot1 , and Georges-Andr´e Silber1 1 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2005-11-22 06:53:34 Compiler optimizations Control flow Compiler construction Static single assignment form Model theory GNU Compiler Collection Representation theory For loop Data-flow analysis Computing Software engineering Software
959	Coll`ege doctoral o ´ ED n 431 : Information, communication, mod´elisation et simulation No attribu´e par la biblioth`eque: \| \| \| \| \| \| \| \| \| \| \| Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2007-02-07 05:39:41 Logic in computer science Programming language semantics Static single assignment form Programming language implementation Compilers GNU Compiler Collection Compiler Intermediate language Programming language Software Computing Compiler construction
960	Preserving high-level semantics of parallel programming annotations through the compilation flow of optimizing compilers Antoniu Pop 1 and Albert Cohen 2 1 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2010-07-28 10:49:00 Parallel computing Compiler construction Programming language implementation Compilers Procedural programming languages Compiler OpenMP GNU Compiler Collection Static single assignment form Computing Software Computer programming

UPDATE